fifo\_deliver(${\it es}$;${\it out}$;$d$;$i$;$e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\uparrow$es{-}isrcv(${\it es}$; $e$)) \& es{-}lnk(${\it es}$; $e$) = ${\it out}$($i$) $\in$ IdLnk \& es{-}tag(${\it es}$; $e$) = $d$ $\in$ Id